http://identifiers.org/mgd/MGI:4456121 MGI:4456121 targeted mutation 7.1, Yang Xu p53<R175H> Humanized sequence Trp53<tm7.1Xu>